An operator-declaration follows the pattern of a procedure-declaration.
(315,040) (000,030)operator-declaration (000,010)(1,0)020070operator-head (1,0)020070operator-body (1,0)020070operator-tail (1,0)020
Only its head and tail are somewhat different.
(315,100) (000,090)operator-head (000,070)(1,0)030060type-declarer (1,0)030040OP (1,0)005 (005,060)(20,20)[rt] (025,060)(20,20)[lb] (025,050)(1,0)70 (095,060)(20,20)[rb] (115,060)(20,20)[lt] (165,060)(20,20)[rt] (175,060)(0,-1)020 (165,040)(20,20)[rb] (165,030)(-1,0)140 (025,020)(20,20)[l] (025,010)(1,0)005070operator-name (1,0)030100formal-parameters-pack (1,0)030010: (1,0)030
An operator-head must contain either one (for monadic-operators) or two (for dyadic-operators) parameters.
(315,050) (000,040)operator-tail (000,020)(1,0)030040ENDOP (1,0)030080operator-name (1,0)030 (075,010)(20,20)[rt] (095,010)(20,20)[lb] (095,000)(1,0)90 (185,010)(20,20)[rb] (205,010)(20,20)[lt]